../../../../../../../executive/cvmx-helper-pki.c